We construct a machine that knows its own code, at the price of not knowing its own factivity.

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

Decision theory has had a long-standing history in the behavioural and social sciences as a tool for constructing good approximations of human behaviour. Yet as artificially intelligent systems (AIs) grow in intellectual capacity and eventually outpace humans, decision theory becomes evermore important as a model of AI behaviour. What sort of decision procedure might an AI employ? In this work, I propose that policy-based causal decision theory (PCDT), which places a primacy on the decision-relevance of predictors and simulations of agent (...) behaviour, may be such a procedure. I compare this account to the recently-developed functional decision theory (FDT), which is motivated by similar concerns. I also address potentially counterintuitive features of PCDT, such as its refusal to condition on observations made at certain times. (shrink)

Prior scholarly approaches to meaningful work have largely fallen into two camps. One focuses on identifying how work can contribute to a meaningful life. The other studies the antecedents and outcomes of workers experiencing their work as meaningful. Neither of these approaches, however, captures what people look for when they seek meaningful work—or so I argue. In this paper, I give a new, commitment-based account of meaningful work by focusing on the reasons people have to choose meaningful work over other (...) options. I draw on philosopher Ruth Chang’s account of voluntarist reasons (reasons that arise from an act of the will) to argue that commitments can create distinctive reasons to pursue certain work. It is the presence of these distinctive reasons that makes work meaningful. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

This article challenges the association between realist methodology and ideals of legitimacy. Many who seek a more “realistic” or “political” approach to political theory replace the familiar orientation towards a state of justice with a structurally similar orientation towards a state of legitimacy. As a result, they fail to provide more reliable practical guidance, and wrongly displace radical demands. Rather than orienting action towards any state of affairs, I suggest that a more practically useful approach to political theory would directly (...) address judgments, by comparing the concrete possibilities for action faced by real political actors. (shrink)

According to Aristotle, the medical art aims at health, which is a virtue of the body, and does so in an unlimited way. Consequently, medicine does not determine the extent to which health should be pursued, and “mental health” falls under medicine only via pros hen predication. Because medicine is inherently oriented to its end, it produces health in accordance with its nature and disease contrary to its nature—even when disease is good for the patient. Aristotle’s politician understands that this (...) inherent orientation can be systematically distorted, and so would see the need for something like the Hippocratic Oath. (shrink)

Most democratic theorists agree that concentrations of wealth and power tend to distort the functioning of democracy and ought to be countered wherever possible. Deliberative democrats are no exception: though not its only potential value, the capacity of deliberation to ‘neutralise power’ is often regarded as ‘fundamental’ to deliberative theory. Power may be neutralised, according to many deliberative democrats, if citizens can be induced to commit more fully to the deliberative resolution of common problems. If they do, they will be (...) unable to get away with inconsistencies and bad or private reasons, thereby mitigating the illegitimate influence of power. I argue, however, that the means by which power inflects political disagreement is far more subtle than this model suggests and cannot be countered so simply. As a wealth of recent research in political psychology demonstrates, human beings persistently exhibit ‘motivated reasoning’, meaning that even when we are sincerely committed to the deliberative resolution of common problems, and even when we are exposed to the same reasons and evidence, we still disagree strongly about what ‘fair cooperation’ entails. Motivated reasoning can be counteracted, but only under exceptional circumstances such as those that enable modern science, which cannot be reliably replicated in our society at large. My analysis suggests that in democratic politics – which rules out the kind of anti-democratic practices available to scientists – we should not expect deliberation to reliably neutralise power. (shrink)

Contemporary critics of the administrative state are right to highlight the dangers of vesting too much power in a centralized bureaucracy removed from popular oversight and accountability. Too often neglected in this literature, however, are the dangers of vesting too little power in a centralized state, which enables dominant groups to further expand their social and economic advantages through decentralized means. This article seeks to synthesize these concerns, understanding them as reflecting the same underlying danger of state capture. It then (...) articulates a set of heuristics for the design of public and administrative institutions, which aim at minimizing the risks of capture from both public and private sources. By following these heuristics, it claims, we can successfully employ the administrative state as a weapon against concentrated private power, rather than allowing it to serve as a tool of dominant groups. (shrink)

Scholars have often thought that a monistic reading of Aristotle’s definition of the human good – in particular, one on which “best and most teleios virtue” refers to theoretical wisdom – cannot follow from the premises of the ergon argument. I explain how a monistic reading can follow from the premises, and I argue that this interpretation gives the correct rationale for Aristotle’s definition. I then explain that even though the best and most teleios virtue must be a single virtue, (...) that virtue could in principle be a whole virtue that arises from the combination of all the others. I also clarify that the definition of the human good aims at capturing the nature of human eudaimonia only in its primary case. (shrink)

In recent years, some have claimed that a Darwinian perspective will revolutionize the study of human society and culture. This project is viewed with disdain and suspicion, on the other hand, by many practicing social scientists. This article seeks to clear the air in this heated debate by dissociating two claims that are too often assumed to be inseparable. The first is the ‘ontological’ claim that Darwinian principles apply, at some level of abstraction, to human society and culture. The second (...) is the more ‘pragmatic’ claim that this observation necessitates substantial changes in the practices of social scientists. Even if some version of the first claim is true, I argue – which I believe is quite likely – the second does not follow. This observation ought to chasten the most overzealous advocates of Darwinian social science, as well as softening the instinctive resistance of many social scientists and historians to the genuine insights enabled by a Darwinian approach. The conclusion discusses these insights, the most important of which is a methodological prescription for normative theory. (shrink)

Much current debate in the metaphysics of time is between A-theorists and B-theorists. Central to this debate is the assumption that time exists and that the task of metaphysics is to catalogue time’s features. Relatively little consideration has been given to an error theory about time. Since there is very little extant work on temporal error theory the goal of this paper is simply to lay the groundwork to allow future discussion of the relative merits of such a view. The (...) paper thus develops a conceptual framework from within which to evaluate claims about the actual existence, or not, of temporality as that notion appears in folk discourses about time, and from there to examine claims about the counterfactual existence, or not, of temporality so conceived. We subsequently apply this framework to three extant positions drawn from physics and metaphysics that deny the existence of time. We show that only one of these positions is a folk temporal error theory; that is, a view that denies the existence of time as that notion is operative in our everyday thought and talk. (shrink)

This paper examines the interplay of semantics and pragmatics within the domain of film. Films are made up of individual shots strung together in sequences over time. Though each shot is disconnected from the next, combinations of shots still convey coherent stories that take place in continuous space and time. How is this possible? The semantic view of film holds that film coherence is achieved in part through a kind of film language, a set of conventions which govern the relationships (...) between shots. In this paper, we develop and defend a new version of the semantic view. We articulate it for a pair of conventions that govern spatial relations between viewpoints. One such rule is already well-known; sometimes called the "180° Rule," we term it the X-Constraint; to this we add a previously unrecorded rule, the T-Constraint. As we show, both have the effect, in different ways, of limiting the way that viewpoint can shift through space from shot to shot over the course of a film sequence. Such constraints, we contend, are analogous to relations of discourse coherence that are widely recognized in the linguistic domain. If film is to have a language, it is a language made up of rules like these. (shrink)

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)

The leading reductive approaches to shared agency model that phenomenon in terms of complexes of individual intentions, understood as plan-laden commitments. Yet not all agents have such intentions, and non-planning agents such as small children and some non-human animals are clearly capable of sophisticated social interactions. But just how robust are their social capacities? Are non-planning agents capable of shared agency? Existing theories of shared agency have little to say about these important questions. I address this lacuna by developing a (...) reductive account of the social capacities of non-planning agents, which I argue supports the conclusion that they can enjoy shared agency. The resulting discussion offers a fine-grained account of the psychological capacities that can underlie shared agency, and produces a recipe for generating novel hypotheses concerning why some agents do not engage in shared agency. (shrink)

Kraut and other neo-Aristotelians have argued that there is no such thing as absolute goodness. They admit only good in a kind, e.g. a good sculptor, and good for something, e.g. good for fish. What is the view of Aristotle? Mostly limiting myself to the Nicomachean Ethics, I argue that Aristotle is committed to things being absolutely good and also to a metaphysics of absolute goodness where there is a maximally best good that is the cause of the goodness of (...) all other things in virtue of being their end. I begin by suggesting that the notion of good as an end, which is present in the first lines of the NE, is not obviously accounted for by good in a kind or good for something. I then give evidence that good in a kind and good for something can explain neither certain distinctions drawn between virtues nor the determinacy ascribed to what is good “in itself.” I argue contra Gotthelf that because several important arguments in the Nicomachean Ethics rely on comparative judgments of absolute value—e.g. “Man is the best of all animals”—Aristotle is committed to the existence of both absolute goodness and an absolutely best being. I focus on one passage, Aristotle’s division of goods in NE I 12, which presupposes this metaphysical picture. (shrink)

According to the Reasoning View about normative reasons, facts about normative reasons for action can be understood in terms of facts about the norms of practical reasoning. I argue that this view is subject to an overlooked class of counterexamples, familiar from debates about Subjectivist theories of normative reasons. Strikingly, the standard strategy Subjectivists have used to respond to this problem cannot be adapted to the Reasoning View. I think there is a solution to this problem, however. I argue that (...) the norms of practical reasoning, like the norms of theoretical reasoning, are characteristically defeasible, in a sense I make precise. Recognizing this property of those norms makes space for a solution to the problem. The resulting view is in a way analogous to the familiar defeasibility theory of knowledge, but it avoids a standard objection to that theory. (shrink)

This paper articulates a functionalist account of intra-party democracy (IPD). Like realist critics, we insist that IPD practices be evaluated on the basis of whether they facilitate resistance to domination and capture at the level of the polity as a whole, and therefore accept certain realist worries about IPD. Yet realists neglect the possibility that wealthy interests could control the political agenda by capturing all viable parties simultaneously-and that mass-facing IPD could counter this threat of oligarchic agenda capture. Taking this (...) as the key function of IPD within broader democratic systems, we conclude that inclusionary party reform is less urgent in more flexible party systems, where dissenters are better able to resist this threat from within the framework of inter-party competition. Regardless of the context, meanwhile, we also conclude that mass-facing IPD practices should aim at enabling ordinary members and supporters of a party to resist agenda capture by oligarchic interests. Though we stop short of defending any particular set of reforms, we reject the emphasis of recent IPD advocates on individualized forms of deliberative participation, in favor of a more oppositional and collectively-oriented approach-on the grounds that the latter is more likely to encourage the development of effective institutions of countervailing power. (shrink)

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

I describe and motivate Rational Internalism, a principle concerning the relationship between motivating reasons (which explain actions) and normative reasons (which justify actions). I use this principle to construct a novel argument against Objectivist theories of normative reasons, which hold that facts about normative reasons can be analyzed in terms of an independently specified class of normative or evaluative facts. I then argue for an alternative theory of normative reasons, the Reasoning View, which is consistent with both Rational Internalism and (...) one standard motivation for Objectivism. (shrink)

Recent years have witnessed growing controversy over the “wisdom of the multitude.” As epistemic critics drawing on vast empirical evidence have cast doubt on the political competence of ordinary citizens, epistemic democrats have offered a defense of democracy grounded largely in analogies and formal results. So far, I argue, the critics have been more convincing. Nevertheless, democracy can be defended on instrumental grounds, and this article demonstrates an alternative approach. Instead of implausibly upholding the epistemic reliability of average voters, I (...) observe that competitive elections, universal suffrage, and discretionary state power disable certain potent mechanisms of elite entrenchment. By reserving particular forms of power for the multitude of ordinary citizens, they make democratic states more resistant to dangerous forms of capture than non-democratic alternatives. My approach thus offers a robust defense of electoral democracy, yet cautions against expecting too much from it—motivating a thicker conception of democracy, writ large. (shrink)

In response to the spread of COVID-19, governments across the world have, with very few exceptions, enacted sweeping restrictive lockdown policies that impede citizens’ freedom to move, work, and assemble. This paper critically responds to the central arguments for restrictive lockdown legislation. We build our critique on the following assumption: public policy that enjoys virtually unanimous support worldwide should be justified by uncontroversial moral principles. We argue that that the virtually unanimous support in favor of restrictive lockdowns is not adequately (...) justified by the arguments given in favor of them. Importantly, this is not to say that states ought not impose restrictive lockdown measures, but rather that the extent of the acceptance of these measures is not proportionate to the strength of the arguments for lockdowns. -/- We begin by exploring the case for restrictive lockdowns. We first argue that several of the principles that are used to justify the lockdowns yield unexpectedly revisionary implications for other political problems that many would be unwilling to accept. We then outline what we consider the strongest argument for a lockdown—namely, that its net welfare benefits are great enough to defeat the moral presumption against restricting citizens’ civil liberties to move, work, and assemble. However, we give a number of reasons for doubting that the lockdown’s net welfare benefits are, in fact, sufficiently high to defeat the presumption against it. (shrink)

This brief commentary has three goals. The first is to argue that ‘‘framework debate’’ in cognitive science is unresolvable. The idea that one theory or framework can singly account for the vast complexity and variety of cognitive processes seems unlikely if not impossible. The second goal is a consequence of this: We should consider how the various theories on offer work together in diverse contexts of investigation. A final goal is to supply a brief review for readers who are compelled (...) by these points to explore existing literature on the topic. Despite this literature, pluralism has garnered very little attention from broader cognitive science. We end by briefly considering what it might mean for theoretical cognitive science. (shrink)

Reading Foucault’s work on power and subjectivity alongside “developmentalist” approaches to evolutionary biology, this article endorses poststructuralist critiques of political ideals grounded in the value of subjective agency. Many political theorists embrace such critiques, of course, but those who do are often skeptical of liberal democracy, and even of normative theory itself. By contrast, those who are left to theorize liberal democracy tend to reject or ignore poststructuralist insights, and have continued to employ dubious ontological assumptions regarding human agents. Against (...) both groups, I argue that Foucault’s poststructuralism must be taken seriously, but that it is ultimately consistent with normative theory and liberal democracy. Linking poststructuralist attempts to transcend the dichotomy between agency and structure with recent efforts by evolutionary theorists to dissolve a similarly stubborn opposition between nature and nurture, I develop an anti-essentialist account of human nature and agency that vindicates poststructuralist criticism while enabling a novel defense of liberal democracy. (shrink)

The Gamer’s Dilemma consists of three intuitively plausible but conflicting assertions: (i) Virtual murder is morally permissible. (ii) Virtual child molestation is morally forbidden. (iii) There is no relevant moral difference between virtual murder and virtual child molestation in computer games. Numerous attempts to resolve (or dissolve) the Gamer’s Dilemma line the field of computer game ethics. Mostly, the phenomenon is approached using expressivist argumentation: Reprehensible virtual actions express something immoral in their performance but are not immoral by themselves. Consequentialists, (...) on the other hand, claim that the immorality of virtual actions arises from their harmful consequences. I argue that both approaches have serious difficulties meeting the moral challenge posed by the Gamer’s Dilemma. They tend to confuse the morality of in-game actions either with the morality of their real-world counterparts or with the morality of games as objects. Following this critical analysis, I will develop a Kantian argument and defend it against two objections. So far, deontological responses to the Gamer’s Dilemma have been sought in vain. Yet, with Kant, its moral challenge can be met by looking at the gamer’s reasons. From this perspective, the Gamer’s Dilemma is based on a false assumption: the moral status of gaming acts does not derive from a normative equation with their real-world counterparts but only from their justifications. (shrink)

Freud proposes that in unconscious processing, logical connections are also (heavily) based upon phonological similarities. Repressed concerns, for example, would also be expressed by way of phonologic ambiguity. In order to investigate a possible unconscious influence of phonological similarity, 31 participants were submitted to a tachistoscopic subliminal priming experiment, with prime and target presented at 1ms. In the experimental condition, the prime and one of the 2 targets were phonological reversed forms of each other, though graphemically dissimilar (e.g., “nice” and (...) “sign”); in the control condition the targets were pseudo-randomly attributed to primes to which they don’t belong. The experimental task was to “blindly” pick the choice most similar to the prime. ERPs were measured with a focus on the N320, which is known to react selectively to phonological mismatch in supraliminal visual word presentations. The N320 amplitude-effects at the electrodes on the midline and at the left of the brain significantly predicted the participants’ net behavioral choices more than half a second later, while their subjective experience is one of arbitrariness. Moreover, the social desirability score (SDS) significantly correlates with both the behavioral and the N320 brain responses of the participants. It is proposed that in participants with low SDS the phonological target induces an expected reduction of N320 and this increases their probability to pick this target. In contrast, high defensive participants have a perplexed brain reaction upon the phonological target, with a negatively peaking N320 as compared to control and this leads them to avoid this target more often. Social desirability, which is understood as reflecting defensiveness, might also manifest itself as a defense against the (energy-consuming) ambiguity of language. The specificity of this study is that all of this is happening totally out of awareness and at the level of very elementary linguistic distinctions. (shrink)

According to the ‘standard story’ in the philosophy of action, actions are those movements of a creature’s body that are caused and rationalized by the creature’s mental states. The attractions of the causal condition have been widely discussed. The rationalization condition is nearly ubiquitous, but it is notoriously obscure, and its motivation has rarely been made explicit. This paper presents a new argument for including the rationalization condition in the causal theory of action, and sketches a broadly Davidsonian theory of (...) what rationalization is. (shrink)

In his article “Beyond Point-and-Shoot Morality,” Joshua Greene argues that the empirical findings of cognitive neuroscience have implications for ethics. Specifically, he contends that we ought to trust our manual, conscious reasoning system more than our automatic, emotional system when confronting unfamiliar problems; and because cognitive neuroscience has shown that consequentialist judgments are generated by the manual system and deontological judgments are generated by the automatic system, we ought to trust the former more than the latter when facing unfamiliar moral (...) problems. In the present article, I analyze one of the premises of Greene’s argument. In particular, I ask what exactly an unfamiliar problem is and whether moral problems can be classified as unfamiliar. After exploring several different possible interpretations of familiarity and unfamiliarity, I conclude that the concepts are too problematic to be philosophically compelling, and thus should be abandoned. (shrink)

This morning I intended to get out of bed when my alarm went off. Hearing my alarm, I formed the intention to get up now. Yet, for a time, I remained in bed, irrationally lazy. It seems I irrationally failed to execute my intention. Such cases of execution failure pose a challenge for Mentalists about rationality, who believe that facts about rationality supervene on facts about the mind. For, this morning, my mind was in order; it was my action that (...) apparently made me irrational. What, then, should Mentalists say about the phenomenon of execution failure? The phenomenon of execution failure, and the puzzle it raises for Mentalists, have rarely been discussed. This paper addresses the puzzle in two parts. First, it argues that execution failure is a real phenomenon. It is possible for agents to irrationally fail to act on their present-directed intentions. It follows that Mentalists in the philosophy of action must solve the puzzle of explaining what is irrational about cases of execution failure. Second, this paper begins the search for such a solution. It considers six possible resolutions to the puzzle, arguing that none is obviously the most attractive. These resolutions include a requirement of overall conative consistency, an appeal to the norm of intention consistency, a form of Volitionalism, an appeal to factive mental states, and a proposal due to Garrett Cullity, and a novel requirement of proper functioning. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

We sometimes fail unwittingly to do things that we ought to do. And we are, from time to time, culpable for these unwitting omissions. We provide an outline of a theory of responsibility for unwitting omissions. We emphasize two distinctive ideas: (i) many unwitting omissions can be understood as failures of appropriate vigilance, and; (ii) the sort of self-control implicated in these failures of appropriate vigilance is valuable. We argue that the norms that govern vigilance and the value of self-control (...) explain culpability for unwitting omissions. (shrink)

In Nicomachean Ethics 1. 7, Aristotle gives a definition of the human good, and he does so by means of the “ ergon argument.” I clear the way for a new interpretation of this argument by arguing that Aristotle does not think that the ergon of something is always the proper activity of that thing. Though he has a single concept of an ergon, Aristotle identifies the ergon of an X as an activity in some cases but a product in (...) others, depending on the sort of thing the X is—for while the ergon of the eye is seeing, the ergon of a sculptor is a sculpture. This alternative interpretation of Aristotle’s concept of an ergon allows the key explanatory middle term of the ergon argument to be what, I argue, it ought to be: “the best achievement of a human.”. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.

Joshua Greene has argued that the empirical findings of cognitive science have implications for ethics. In particular, he has argued (1) that people’s deontological judgments in response to trolley problems are strongly influenced by at least one morally irrelevant factor, personal force, and are therefore at least somewhat unreliable, and (2) that we ought to trust our consequentialist judgments more than our deontological judgments when making decisions about unfamiliar moral problems. While many cognitive scientists have rejected Greene’s dual-process theory of (...) moral judgment on empirical grounds, philosophers have mostly taken issue with his normative assertions. For the most part, these two discussions have occurred separately. The current analysis aims to remedy this situation by philosophically analyzing the implications of moral dilemma research using the CNI model of moral decision-making – a formalized, mathematical model that decomposes three distinct aspects of moral-dilemma judgments. In particular, we show how research guided by the CNI model reveals significant conceptual, empirical, and theoretical problems with Greene’s dual-process theory, thereby questioning the foundations of his normative conclusions. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

In this paper, we focus on whether and to what extent we judge that people are responsible for the consequences of their forgetfulness. We ran a series of behavioral studies to measure judgments of responsibility for the consequences of forgetfulness. Our results show that we are disposed to hold others responsible for some of their forgetfulness. The level of stress that the forgetful agent is under modulates judgments of responsibility, though the level of care that the agent exhibits toward performing (...) the forgotten action does not. We argue that this result has important implications for a long-running debate about the nature of responsible agency. (shrink)

Judgments of blame for others are typically sensitive to what an agent knows and desires. However, when people act negligently, they do not know what they are doing and do not desire the outcomes of their negligence. How, then, do people attribute blame for negligent wrongdoing? We propose that people attribute blame for negligent wrongdoing based on perceived mental control, or the degree to which an agent guides their thoughts and attention over time. To acquire information about others’ mental control, (...) people self-project their own perceived mental control to anchor third-personal judgments about mental control and concomitant responsibility for negligent wrongdoing. In four experiments (N = 841), we tested whether perceptions of mental control drive third-personal judgments of blame for negligent wrongdoing. Study 1 showed that the ease with which people can counterfactually imagine an individual being non-negligent mediated the relationship between judgments of control and blame. Studies 2a and 2b indicated that perceived mental control has a strong effect on judgments of blame for negligent wrongdoing and that first-personal judgments of mental control are moderately correlated with third-personal judgments of blame for negligent wrongdoing. Finally, we used an autobiographical memory manipulation in Study 3 to make personal episodes of forgetfulness salient. Participants for whom past personal episodes of forgetfulness were made salient judged negligent wrongdoers less harshly compared to a control group for whom past episodes of negligence were not salient. Collectively, these findings suggest that first-personal judgments of mental control drive third-personal judgments of blame for negligent wrongdoing and indicate a novel role for counterfactual thinking in the attribution of responsibility. (shrink)

In recent years, the number of studies examining mind wandering has increased considerably, and research on the topic has spread widely across various domains of psychological research. Although the term “mind wandering” has been used to refer to various cognitive states, researchers typically operationalize mind wandering in terms of “task-unrelated thought” (TUT). Research on TUT has shed light on the various task features that require people’s attention, and on the consequences of task inattention. Important methodological and conceptual complications do persist, (...) however, in current investigations of TUT. As we argue, these complications may be dampening the development of a more nuanced scientific account of TUT. Here, we outline three of the more prominent methodological and conceptual complications in the literature on TUT, and we discuss potential directions for researchers to take as they move forward in their investigations of TUT. (shrink)

Noncognitivism about normative judgment is the view that normative judgment is a distinctive kind of mental state, identical neither to belief or desire, but desire-like in its functional role and direction of fit. Noncognitivism about intention (also called the “distinctive practical attitude” theory) is the view that intention is a distinctive kind of mental state, identical neither to belief or desire, but desire-like in its functional role and direction of fit. While these theories are alike in several ways, they have (...) rarely been discussed in concert. This paper studies the relation between these two theories, focusing on the question of whether noncognitivism about intention faces an analogue of the well-known Frege-Geach problem for noncognitivism about normative judgment. I argue that whether it faces the Frege-Geach problem depends on how it treats the distinction between what Anscombe called expressions of intention and personal predictions. I show that there is substantial pressure to treat that distinction as semantic, and that a variant of the Frege-Geach problem arises for versions of noncognitivism about intention that go this route. Yet some philosophers of action may be willing to resist this pressure, and I develop a pragmatic account of the distinction that would allow such philosophers to avoid the Frege-Geach problem altogether. I argue that this pragmatic account has significant independent appeal. Notably, it provides a way for noncognitivists about intention to undercut the force of a recent argument for cognitivism due to Berislav Marušić and John Schwenkler. (shrink)

Mathematics appears to play an explanatory role in science. This, in turn, is thought to pave a way toward mathematical Platonism. A central challenge for mathematical Platonists, however, is to provide an account of how mathematical explanations work. I propose a property-based account: physical systems possess mathematical properties, which either guarantee the presence of other mathematical properties and, by extension, the physical states that possess them; or rule out other mathematical properties, and their associated physical states. I explain why Platonists (...) should accept that physical systems have mathematical properties, and why a property based account is better than existing accounts of mathematical explanation. I close by considering whether nominalists can accept the view I propose here. I argue that they cannot. (shrink)

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

Leibniz’s views on modality are among the most discussed by his interpreters. Although most of the discussion has focused on Leibniz’s analyses of modality, this essay explores Leibniz’s grounding of modality. Leibniz holds that possibilities and possibilia are grounded in the intellect of God. Although other early moderns agreed that modal truths are in some way dependent on God, there were sharp disagreements surrounding two distinct questions: (1) On what in God do modal truths and modal truth-makers depend? (2) What (...) is the manner(s) of dependence by which modal truths and modal truth-makers depend on God? Very roughly, Leibniz’s own answers are: (1) God’s intellect and (2) a form of ontological dependence. The essay first distinguishes Leibniz’s account from two nearby (and often misunderstood) alternatives found in Descartes and Spinoza. It then examines Leibniz’s theory in detail, showing how, on his account, God’s ideas provide both truth-makers for possibilities and necessities and an ontological foothold for those truth-makers, thereby explaining modal truths. Along the way, it suggests several refinements and possible amendments to Leibniz’s grounding thesis. It then defends Leibniz against a pair of recent objections by Robert Merrihew Adams and Andrew Chignell that invoke the early work of Kant. I conclude that whereas Leibniz’s alternative avoids collapsing into yet another form of Spinozism, the alternatives proposed by Adams, Chignell, and the early Kant do not. (shrink)

The causal premise of the evolutionary debunking argument contends that human moral beliefs are explained by the process of natural selection. While it is universally acknowledged that such a premise is fundamental to the debunker’s case, the vast majority of philosophers focus instead on the epistemic premise that natural selection does not track moral truth and the resulting skeptical conclusion. Recently, however, some have begun to concentrate on the causal premise. So far, the upshot of this small but growing literature (...) has been that the causal premise is likely false due to the seemingly persuasive evidence that our moral beliefs are in fact not the result of natural selection. In this paper, I argue that this view is mistaken. Specifically, I advocate the Innate Biases Model, which contends that there is not only compelling evidence for an evolved cognitive capacity for acquiring norms but also for the existence of an evolutionarily instilled set of cognitive biases that make it either more or less likely that we adopt certain moral beliefs. (shrink)

The Generality Problem is widely recognized to be a serious problem for reliabilist theories of justification. James R. Beebe's Statistical Solution is one of only a handful of attempted solutions that has garnered serious attention in the literature. In their recent response to Beebe, Julien Dutant and Erik J. Olsson successfully refute Beebe's Statistical Solution. This paper presents a New Statistical Solution that countenances Dutant and Olsson's objections, dodges the serious problems that trouble rival solutions, and retains the theoretical virtues (...) that made Beebe's solution so attractive in the first place. There indeed exists a principled, rigorous, conceptually sparse, and plausible solution to the Generality Problem: it is the New Statistical Solution. (shrink)